1281. logic program synthesis and transformation

پدیدآورنده :

موضوع : Logic programming

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

1282. logic programming :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

1283. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

موضوع : ، Logic programming-- Congresses,، Artificial intelligence-- Congresses

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

1284. 6800 programming for logic design

پدیدآورنده :

کتابخانه: Library of Niroo Research Institue (Tehran)

موضوع : ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

1285. programs-as-Adapting proofs

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

1286. 8th International Conference on Automated Deduction :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

1287. year perspective on logic programming-A 25

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;

1288. λ-Calculus and Computer Science Theory :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer Science,Computer science.,Logic, Symbolic and mathematical.

رده :
QA9
.
5
E358
1975

1289. ارزیابی آسیب‌پذیری آبهای زیرزمینی دشت مغان با استفاده از روش‌های دراستیک و هوش مصنوعی

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1290. آموزش < ‎PLC STEP 7 = پی ال سی استپ ۷ > [ پی ال سی استپ ۷]

پدیدآورنده :

کتابخانه: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)

موضوع : استپ (زبان برنامه‌نویسی کامپیوتر),کنترل‌کننده‌های برنامه‌پذیر,Programmable controllers,طراحی منطقی,Logic design,زبان‌های برنامه‌نویسی کامپیوتر,Programming languages (Electronic computers),a08,a08,a10,a10,a12,a12

رده :
TJ
۲۲۳
/
آ
۸ ۴۱۵۸

1291. آموزش جامع < PLC S5 / S7 = پی ال سی ۵ استپ ۷ > [پی ال سی ۵ استپ ۷ ]

پدیدآورنده :

کتابخانه: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)

موضوع : استپ (زبان برنامه‌نویسی کامپیوتر),کنترل‌کننده‌های برنامه‌پذیر,Programmable controllers,طراحی منطقی,Logic design,زبان‌های برنامه‌نویسی کامپیوتر,Programming languages (Electronic computers),a08,a08,a10,a10,a12,a12

رده :
TJ
۲۲۳
/
آ
۸ ۴۱۶۰

1292. برآورد تبخیرتعرق گونه های مختلف گیاه چمن بر اساس اندازه گیری های لایسیمتر وزنی برای بافت های گوناگون خاک و مقایسه آن با تبخیرتعرق گیاه مرجع

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1293. بررسی سیستم کنترل گسترده DCS ، در کنترل پروسه غنی سازی بابک مس

پدیدآورنده :

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : DCS,SIMATIC PCS7,هیدرومتالورژی,بایولیچینگ,استخراج حلال,DCS,SIMATIC PCS 7, hydrometallurgy, leaching, extraction, electro wining, fieldbus, profibus, profinet, plantbus, terminalbus, computer control,DCS، ۷SIMATIC PCS ، هیدرومتالورژی، بایولیچینگ، استخراج حلال، بازیافت الکتریکی، فیلدباس، پروفیباس، پروفی نت، باس پلنت، باس ترمینال، کنترل کامپیوتری

1294. بررسی عوامل هیدرولوژیکی موثر در کاهش سطح آب زیرزمینی آبخوان دشت تسوج

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1295. برنامه نویسی MATLAB ]متلب[ همراه با GUI ]جی. یو. آی.[ و جعبه ابزارهای تخصصی: شبکه عصبی-منطق فازی-بهینه سازی-پردازش تصویر-برازش و بهینه سازی )نیوتن، ژنتیک الگوریتم، شبیه سازی تبرید و تجمع ذرات(

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : متلب )برنامه کامپیوتر( , برنامه نویسی تصویری , برنامه نویسی , رابط نرم افزاری گرافیکی

رده :
QA
76/6
/
ف
23
1395

1296. بهبود امنیت لایه‌های کنترل و ارتباط در شبکه‌های نرم‌افزارمحور با استفاده از معماری‌های باقابلیت دسترس‌پذیری بالا,‮‭Improved Security of Control and Communication Layers in Software Defined Network using High Availability Architecture‬

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1297. بهینه‌سازی بهره‌برداری از مخزن سد مبتنی بر منطق فازی و الگوریتم بهینه‌سازی جستجوی ذرات باردار

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1298. پیش‌بینی سطح آب زیرزمینی با استفاده از روش‌های هوش مصنوعی مطالعه موردی :آبخوان دشت بستان‌آباد

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1299. تعیین محدوده‌صهای محتمل فرونشست در آبخوان دشت شبستر با استفاده از مدل‌صهای هوش مصنوعی

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

1300. رویکرد محاسباتی به بازنگری باور در سیستم‌های چندعاملی‌ شناختی

پدیدآورنده :

کتابخانه: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)

موضوع : سامانه‌های چند عاملی,Multiagent systems,سامانه‌های چند عاملی,Multiagent systems,هوش مصنوعی,Artificial intelligence,برنامه‌نویسی منطقی,Logic programming.,عوامل هوشمند (نرم‌افزار کامپیوتر),Intelligent agents (Computer software), -- نرم‌افزار, -- Data processing, -- Software,a04,a04,a05,a05,a01,a01,a02,a02,a03,a03

رده :
QA
۷۶
/
۷۶
/
ک
۴ ۱۳۹۹